\newcommand{\merge}{\textit{merge}}
\newcommand{\projectOp}{\textit{project}}
\newcommand{\WPDS}{{\sc WPDS}}
\newcommand{\EWPDS}{\text{\sc EWPDS}}
\newcommand{\PDS}{\text{\sc PDS}}
\newcommand{\IMOP}{\text{\sc IMOP}}
\newcommand{\MFP}{\text{\sc MFP}}
\newcommand{\IMOVP}{\text{\sc IMOVP}}
\newcommand{\MOVP}{\text{\sc MOVP}}
\newcommand{\MOP}{\text{\sc MOP}}
\newcommand{\GPS}{\text{\sc GPS}}
\newcommand{\GPP}{\text{\sc GPP}}
\newcommand{\calR}{\text{\cal R}}
\newcommand{\AP}{\mathcal{AP}}
\newcommand{\ap}{\text{\it ap}}
\newcommand{\bind}{\text{\it bind}}
\newcommand{\mayalias}{\text{\it may-alias}}
\newcommand{\fooproc}{\text{\it foo}}
\newcommand{\barproc}{\text{\it bar}}
\newcommand{\state}[1]{\langle{#1}\rangle}
\newcommand{\matched}{\textit{matched}}
\newcommand{\valid}{\textit{valid}}

\newcommand{\transition}{\hookrightarrow}
\newcommand{\compose}{\circ}
\newcommand{\call}{\text{\it call}}
\newcommand{\retSite}{\text{\it return-site}}
\newcommand{\return}{\text{\it return}}
\newcommand{\enter}{\text{\it enter}}
\newcommand{\TotalCallSites}{\text{\it CallSites}}
\newcommand{\sem}[1]{[\![ #1 ]\!]}
\newcommand{\isem}[1]{[\![ #1 ]\!]^*}
\newcommand{\calN}{\mathcal N}
\newcommand{\calL}{\mathcal L}
\newcommand{\calE}{\mathcal E}
\newcommand{\gr}{\textit{ExGr}_v}
\newcommand{\Moped}{\text{\sc Moped}}
\newcommand{\exit}{\text{\it exit}}
\newcommand{\init}{\text{\it init}}
\newcommand{\proc}{\text{\it proc}}
\newcommand{\node}{\text{\it n}}
\newcommand{\head}{\texttt{head}}
\newcommand{\pop}{\text{\it pop}}
\newcommand{\grow}{\text{\it grow}}
\newcommand{\paths}{\text{\it paths}}
\newcommand{\push}{\text{\it push}}
\newcommand{\intraweight}{\text{\sc IntraQ}}
\newcommand{\moped}{\text{\sc Moped}}
\newcommand{\algs}{\text{\sc Alg0}}
\newcommand{\alga}{\text{\sc Alg1}}
\newcommand{\algb}{\text{\sc Alg2}}
\newcommand{\algc}{\text{\sc Alg3}}
\newcommand{\algd}{\text{\sc Alg4}}
\newcommand{\npoststar}{\text{\it poststar}}
\newcommand{\nprestar}{\text{\it prestar}}
\newcommand{\pdspath}[2]{{\mathit path}(#1,#2)}

\newcommand{\varx}{\texttt{x}}
\newcommand{\valx}{\overline{\texttt{x}}}
\newcommand{\pts}{\textsc{Pts}}
\newcommand{\vecspan}{\textsc{Span}}
\newcommand{\ip}{\text{\bf IP}}
\newcommand{\Val}{\text{Val}}
\newcommand{\Var}{\textit{Var}}
